Anonymous function - PDFSEARCH.IO - Document Search Engine

Anonymous function
Results: 196

#	Item
31	Microsoft PowerPoint - universal_machinesv2.ppt Add to Reading List Source URL: sicp.csail.mit.edu Language: English - Date: 2005-12-08 08:45:06 Computability theory Theoretical computer science Formal methods Models of computation Lambda calculus Eval Scheme Env Interpreter Anonymous function Halting problem Turing machine
32	Microsoft PowerPoint - Lect14lecture_env3.ppt Add to Reading List Source URL: sicp.csail.mit.edu Language: English - Date: 2005-11-01 06:30:49 Lambda calculus Anonymous function Lambda lifting Lambda calculus definition
33	Kat - the language of calculations Mikus Vanags Parameter declaration explicitly Add to Reading List Source URL: www.issac-symposium.org Language: English - Date: 2015-07-08 07:22:21 Lambda calculus Subroutines Functional programming Data types Anonymous function Parameter Implicit function Church encoding
34	Introducing Java 8 A Quick-Start Guide to Lambdas and Streams Raoul-Gabriel Urma Add to Reading List Source URL: www.oreilly.com Language: English - Date: 2015-09-14 11:14:06 Cross-platform software Concurrent programming languages Data types Java platform Object-oriented programming languages Java C Sharp Anonymous function Tea Go String
35	The Topics Type Inference, Higher Order Algebra, and Lambda Calculus Type Inference: how to find the possible type(s) of expressions, without Add to Reading List Source URL: www.idt.mdh.se Language: English - Date: 2013-12-11 16:14:47 Lambda calculus Type theory Higher-order functions Programming language comparisons Logic in computer science Anonymous function Type inference Propositional calculus Map Unification Fold Calculus
36	A Self-Hosting Evaluator using HOAS A Scheme Pearl Eli Barzilay Northeastern University Add to Reading List Source URL: barzilay.org Language: English - Date: 2009-07-12 22:21:53 Lambda calculus Subroutines Functional programming Computability theory Theoretical computer science Higher-order abstract syntax Anonymous function Scheme Fixed-point combinator Combinatory logic Eval Hygienic macro
37	ń* : Beyond Currying Jason Hemann Add to Reading List Source URL: webyrd.net Language: English - Date: 2014-01-13 20:04:11 Lambda calculus Functional programming Partial application Currying Apply Anonymous function Arity Combinatory logic Scheme Parameter
38	Announcements • Set up your computer and all accounts (Lab 0) by today • Add to Reading List Source URL: cs61a.org Language: English Subroutines Functional programming Control flow Eval Functional languages Monad Operator User-defined function Parameter Closure Anonymous function
39	Freeing the Essence of a Computation1 Kenneth R. Anderson BBN Systems and Technologies, 10 Moutlon St. Cambridge, MA, In theory, abstraction is important, but in practice, so is performance. Thus, Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:10 Subroutines Functional languages Linear algebra Common Lisp Cross-platform software Lisp Scheme Anonymous function Closure Norm Eval Free variables and bound variables
40	STklos Reference Manual (versionErick Gallesio Université e Nice - Sophia Antipolis 930 route des Colles, BP 145 FSophia Antipolis, Cedex Add to Reading List Source URL: www.stklos.net Language: English - Date: 2011-12-31 09:50:18 Subroutines Data types Functional languages Parameter Variable Scheme Anonymous function Scope Lisp Eval Constant Const